$\forall$$A$, $B$:Realizer.
\\[0ex]R{-}Feasible($A$) $\Rightarrow$ R{-}frame{-}compat($A$;$B$) $\Rightarrow$ ma{-}frame{-}compat(R{-}base{-}ma($A$);R{-}base{-}ma($B$))